- функтор вложения
- фу́нктор укла́дення
Русско-украинский политехнический словарь. 2013.
функтор вложения
Смотреть что такое "функтор вложения" в других словарях:
Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… … Википедия
ГРОТЕНДИКА ФУНКТОР — функтор вложения (см. Вложение категорий).из категории Св категорию контравариантных функторов, определенных на С и принимающих значения в категории множеств (Ens). Пусть X объект [U категории С(где U фиксированное универсальное множество);… … Математическая энциклопедия
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
Схема (математика) — В алгебраической геометрии схема это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… … Википедия
РЕФЛЕКТИВНАЯ ПОДКАТЕГОРИЯ — подкатегория, содержащая наибольшую модель любого объекта категории. Точнее, полная подкатегория категории наз. р е ф л е к т и в н о й, если содержит рефлектор (см. Рефлектор).для любого объекта категории. Полная подкатегория категории… … Математическая энциклопедия
МНОГООБРАЗИЕ — категорий понятие, аналогичное понятию многообразия универсальных алгебр. Пусть бикатегория с произведениями. Полная подкатегория категории наз. многообразием, если она удовлетворяет следующим условиям: а) если допустимый мономорфизм и б) если… … Математическая энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
ГОМОТОПИЧЕСКАЯ ГРУППА — обобщение фундаментальной группы, предложенное В. Гуревичем [1] в связи с задачей о классификации непрерывных отображений. Г. г. определены для любого . При Г. г. совпадает с фундаментальной группой. Определение Г. г. не конструктивно, и поэтому… … Математическая энциклопедия
ГОМОЛОГИИ ТЕОРИЯ — топологических пространств часть алгебраич. топологии, осуществляющая связь между топологич. н алгебраич. понятиями: приводя в соответствие каждому пространству определенную последовательность групп, а непрерывному отображению пространств… … Математическая энциклопедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
КУСОЧНО ЛИНЕЙНАЯ ТОПОЛОГИЯ — раздел топологии, изучающий полиэдры. Под полиэдром понимается прежде всего подмножество топологического векторного пространства, представимоо конечным или локально конечным объединением выпуклых многогранников ограниченной размерности, а также… … Математическая энциклопедия
